Topologies sur des Espaces Ordonnés
نویسنده
چکیده
— Wefirst study the topological properties ofspaces of infinité words (or trees) when equipped with an already classical metric, where for example the distance between two trees is charac ter istic ofthe depth un til they are identicaL We then compare the continuityfor this me trie, and the "weak" continuity {where least upper bounds ofincreasing séquences arepreserved). A secondpart présents a new topology, called left topology, and establishes a sufficient condition such that the weak continuous functions are exactly the increasing and continuous ones. Une branche de la sémantique des langages de programmation se développe depuis un certain nombre d'années autour de la notion de « calcul infini » (cf. l'article [9] de D. Scott, 1971). Une première voie a conduit à l'utilisation de c. p. o. (ensembles partiellement ordonnés, où toute suite croissante possède une borne supérieure), et de fonctions dites « continues », ou « faiblement continues », qui conservent les bornes supérieures de suites croissantes. Il s'agit des « sémantiques de points fixes » : voir en particulier [8 et 10]. Ce point de vue a conduit aux succès que l'on sait, mais se prête mal à une extension au non-déterminisme. A. Arnold et M. Nivat ont été alors amenés à définir une métrique sur les mots (ou les arbres) infinis '.voir [1]. Cette nouvelle approche de la notion de calcul infini conduit en particulier à la notion d'adhérence d'un langage (cf. [7]), et suscite de nombreux travaux. Le présent article se propose de comparer les notions de fonctions continues qu'on rencontre dans ces deux approches. La métrique qui y est définie est, aux (*) Reçu décembre 1979, révisé en avril 1981. (*) Université de Poitiers, Laboratoire d'Informatique, Bâtiment L, 40, avenue du Recteur Pineau, 86022 Poitiers Cedex, France. R.A.I.R.O. Informatique théorique/Theoretical Informaties, 0399-0540/1982/165/$ 5.00 © AFCET-Bordas-Dunod
منابع مشابه
Equational Properties of Recursive Program Scheme Solutions
Dans leurs précédents travaux [17, 18, 19], les auteurs ont proposé une théorie générale des schémas de programmes récursifs et de leurs solutions. Ces travaux généralisaient des approches plus anciennes, qui utilisaient les ensembles ordonnés ou les espaces métriques en offrant une théorie utilisant le concept de coalgèbre finale, d’algèbre d’Elgot, et une grande partie de ce que l’on sait à l...
متن کاملA pointwise equivalence of gradients on configuration spaces
L’analyse sur les espaces de configurations développée dans [1] repose sur une égalité de normes en espérance pour le gradient local ∇ et l’opérateur de différence finie D sur les espaces des configurations Υ sur une variété Riemannienne X. Dans cette Note nous présentons une version ponctuelle de cette relation, avec une preuve concise qui fait apparâıtre le rôle de la dualité sur l’espace de ...
متن کاملDes Chaînes Et Des Antichaînes Dans Les Ensembles Ordonnés Finis
résumé – L’un des nombreux domaines dans lesquels Bruno Leclerc a travaillé et publié est celui des ensembles ordonnés. Plus précisément, il s’est fortement intéressé à des propriétés d’ensembles ordonnés relatives à des sous-structures bien particulières, les chaînes et les antichaînes. Beaucoup de problèmes de tri, de recherche et d’ordonnancement que l’on rencontre par exemple en informatiqu...
متن کاملAn axiomatization and a tableau calculus for the logic of comparative concept similarity
Résumé : La logique de similarité comparative des concepts CSL a été introduite en 2005 par Shremet, Tishkowsky, Wolter et Zakharyaschev pour représenter des informations qualitatives sur la similarité entre des concepts, du type “A est plus similaire à B qu’à C”. La sémantique utilise des espaces de distances afin de représenter le degré de similarité entre objets du domaine. Dans cet article,...
متن کاملA note on polynomial approximation in Sobolev spaces
Résumé: Pour des domaines étoilés on donne des nouvelles bornes sur les constants dans les inégalités de Jackson pour les espaces de Sobolev. Pour des domaines convexes, les bornes ne dépendent pas de l’excentricité. Pour des domaines non-convexes ayant un point rentrant, les bornes sont uniformes par rapport à l’angle extérieur. L’outil central est un nouvel opérateur de projection sur l’espac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- ITA
دوره 16 شماره
صفحات -
تاریخ انتشار 1982